Danapaquiame N. | Automata Based Formal Approach For Verification Of

Automata Based Formal Approach For Verification Of Web Service

Sat-based Scalable Formal Verification Solutions 1230

Formal Verification Of Communication Protocols For Wireless Networks A

May Haydar | A Formal Framework For Run-time Verification Of Web

A Formal Framework For Run-time Verification Of Web Applications May

Kumaravelan Gopalakrishnan | Learning Automata Based Approach To

Scalable Techniques For Formal Verification 2832

Intelligent Random Walk: An Approach Based On Learning Automata |

Formal Verification Of Concurrent Embedded Software | Traub |

Learning Automata Based Approach To Optimise Spoken Dialogue Policies

Timed Automata As A Verification Tool For Security Protocols | Burcu

A Problem-oriented Approach For Dynamic Verification Of Heterogeneous

Sandip Ray | Scalable Techniques For Formal Verification | Taschenbuch

Rolf Drechsler | Formal Verification Of Circuits | Buch | Englisch

Johannes Frederik Jesper Traub | Formal Verification Of Concurrent